大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 ACM Symposium on Principles of Programming Languages (4th : 1977 : Los Angeles) 的图书(共7694本)

Entertainment Computing - ICEC 2005 [electronic resource] : 4th International Conference, Sanda, Japan, September 19-21, 2005. Proceedings

0
索取号:
作者:Kishino、 Fumio.、Kitamura、 Yoshifumi.、Kato、 Hirokazu.、Nagata、 Noriko.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Digital Watermarking [electronic resource] : 4th International Workshop, IWDW 2005, Siena, Italy, September 15-17, 2005. Proceedings

0
索取号:
作者:Barni、 Mauro.、Cox、 Ingemar.、Kalker、 Ton.、Kim、 Hyoung-Joong.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Principles and Practice of Constraint Programming - CP 2005 [electronic resource] : 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings

0
索取号:
作者:Beek、 Peter.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Component-Based Software Engineering [electronic resource] : 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings

0
索取号:
作者:Heineman、 George T.、Crnkovic、 Ivica.、Schmidt、 Heinz W.、Stafford、 Judith A.、Szyperski、 Clemens.、Wallnau、 Kurt.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Implementation and Application of Functional Languages [electronic resource] : 16th International Workshop, IFL 2004, L眉beck, Germany, September 8-10, 2004 Revised Selected Papers

0
索取号:
作者:Grelck、 Clemens.、Huch、 Frank.、Michaelson、 Greg J.、Trinder、 Phil.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Brain, Vision, and Artificial Intelligence [electronic resource] : First International Symposium, BVAI 2005, Naples, Italy, October 19 鈥ಱ, 2005. Proceedings

0
索取号:
作者:Gregorio、 Massimo.、Maio、 Vito.、Frucci、 Maria.、Musio、 Carlo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Principles and Practice of Semantic Web Reasoning [electronic resource] : Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 Proceedings

0
索取号:
作者:Fages、 Fran莽ois.、Soliman、 Sylvain.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Unconventional Computation [electronic resource] : 4th International Conference, UC 2005, Sevilla, Spain, October 3 鈥෬ 2005. Proceedings

0
索取号:
作者:Calude、 Cristian S.、Dinneen、 Michael J.、P膬un、 Gheorghe.、P茅rez-J铆menez、 Mario J.、Rozenberg、 Grzegorz.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Service Availability [electronic resource] : Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25 鈥ಶ, 2005, Revised Selected Papers

0
索取号:
作者:Malek、 Miroslaw.、Nett、 Edgar.、Suri、 Neeraj.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems [electronic resource] : 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings

0
索取号:
作者:Boutaba、 Raouf.、Almeroth、 Kevin.、Puigjaner、 Ramon.、Shen、 Sherman.、Black、 James P.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

ZB 2005: Formal Specification and Development in Z and B [electronic resource] : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings

0
索取号:
作者:Treharne、 Helen.、King、 Steve.、Henson、 Martin.、Schneider、 Steve.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Coordination Models and Languages [electronic resource] : 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005. Proceedings

0
索取号:
作者:Jacquet、 Jean-Marie.、Picco、 Gian Pietro.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Information Retrieval Technology [electronic resource] : Second Asia Information Retrieval Symposium, AIRS 2005, Jeju Island, Korea, October 13-15, 2005. Proceedings

0
索取号:
作者:Lee、 Gary Geunbae.、Yamada、 Akio.、Meng、 Helen.、Myaeng、 Sung Hyon.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Genetic Programming [electronic resource] : 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30 - April 1, 2005. Proceedings

0
索取号:
作者:Keijzer、 Maarten.、Tettamanzi、 Andrea.、Collet、 Pierre.、Hemert、 Jano.、Tomassini、 Marco.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Programming Languages and Systems [electronic resource] : 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

0
索取号:
作者:Sagiv、 Mooly.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computer Security-ESORICS 2005 [electronic resource] : 10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005. Proceedings

0
索取号:
作者:Vimercati、 Sabrina de Capitani.、Syverson、 Paul.、Gollmann、 Dieter.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
最近添加的分类